Real closed valued fields with analytic structure
نویسندگان
چکیده
منابع مشابه
Real Closed Fields with Nonstandard Analytic Structure
We consider the ordered field which is the completion of the Puiseux series field over R equipped with a ring of analytic functions on [−1, 1]n which contains the standard subanalytic functions as well as functions given by tadically convergent power series, thus combining the analytic structures from [DD] and [LR3]. We prove quantifier elimination and o–minimality in the corresponding language...
متن کاملReal Closed Fields with Nonstandard and Standard Analytic Structure
We consider the ordered field which is the completion of the Puiseux series field over R equipped with a ring of analytic functions on [−1, 1]n which contains the standard subanalytic functions as well as functions given by tadically convergent power series, thus combining the analytic structures from [DD] and [LR3]. We prove quantifier elimination and o–minimality in the corresponding language...
متن کاملImaginaries in Real Closed Valued Fields II
The paper shows elimination of imaginaries for real closed valued fields to the geometric sorts which were introduced in the [6]. We also show that this result is in some sense optimal.
متن کاملImaginaries in Real Closed Valued Fields I
We investigate the embeddings of the value group and residue field of a real closed valued field A in Aeq via quantifier elimination in a three sorted language. We classify the one types of field elements in a real closed valued field. Finally, we investigate some of the linear structure in Aeq induced by the valuation ring V and introduce the geometric sorts. In a subsequent paper we show that...
متن کاملQuantifier elimination for the theory of algebraically closed valued fields with analytic structure
The theory of algebraically closed non-Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this paper and which has far reaching consequences in the geometry of definable sets. This method of proving quantifier ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 2019
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091519000361